1

Extending partial orders to dense linear orders

Year:
1998
Language:
english
File:
PDF, 652 KB
english, 1998
2

Definability in the enumeration degrees

Year:
1997
Language:
english
File:
PDF, 166 KB
english, 1997
4

On the Strength of Ramsey's Theorem for Pairs

Year:
2001
Language:
english
File:
PDF, 1.10 MB
english, 2001
9

Extension of Embeddings in the Computably Enumerable Degrees

Year:
2001
Language:
english
File:
PDF, 4.45 MB
english, 2001
11

THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES

Year:
2006
Language:
english
File:
PDF, 291 KB
english, 2006
12

The inductive strength of Ramsey's Theorem for Pairs

Year:
2017
Language:
english
File:
PDF, 478 KB
english, 2017
13

Reflection and forcing in E-recursion theory

Year:
1985
Language:
english
File:
PDF, 1.66 MB
english, 1985
14

Generic copies of countable structures

Year:
1989
Language:
english
File:
PDF, 1.37 MB
english, 1989
15

Completely mitotic R.E. degrees

Year:
1989
Language:
english
File:
PDF, 2.26 MB
english, 1989
16

A fiber-top cantilever for hydrogen detection

Year:
2007
Language:
english
File:
PDF, 547 KB
english, 2007
18

Inadmissible forcing

Year:
1987
Language:
english
File:
PDF, 1.39 MB
english, 1987
21

Randomness and Recursive Enumerability

Year:
2001
Language:
english
File:
PDF, 178 KB
english, 2001
22

Generalized Hyperarithmetic Theory

Year:
1990
Language:
english
File:
PDF, 598 KB
english, 1990
27

RELATIVE TO ANY NON-HYPERARITHMETIC SET

Year:
2013
Language:
english
File:
PDF, 348 KB
english, 2013
28

THE n-r.e. DEGREES: UNDECIDABILITY AND Σ 1 SUBSTRUCTURES

Year:
2012
Language:
english
File:
PDF, 370 KB
english, 2012
29

Every Set has a Least Jump Enumeration

Year:
2000
Language:
english
File:
PDF, 236 KB
english, 2000
30

A Basis Theorem for Perfect Sets

Year:
1998
Language:
english
File:
PDF, 205 KB
english, 1998
32

On simply normal numbers to different bases

Year:
2016
Language:
english
File:
PDF, 519 KB
english, 2016
35

On the normality of numbers to different bases

Year:
2014
Language:
english
File:
PDF, 260 KB
english, 2014
36

Measures and their random reals

Year:
2015
Language:
english
File:
PDF, 273 KB
english, 2015
38

On the existence of a strong minimal pair

Year:
2015
Language:
english
File:
PDF, 370 KB
english, 2015
45

On the Strength of Ramsey's Theorem

Year:
1995
Language:
english
File:
PDF, 126 KB
english, 1995
49

On the theory of the PTIME degrees of the recursive sets

Year:
1990
Language:
english
File:
PDF, 2.94 MB
english, 1990
50

The complexity types of computable sets

Year:
1992
Language:
english
File:
PDF, 1.77 MB
english, 1992